Merge branch 'demo-polish' into 'master'
authorMatthias Clasen <mclasen@redhat.com>
Sun, 9 Aug 2020 04:28:31 +0000 (04:28 +0000)
committerMatthias Clasen <mclasen@redhat.com>
Sun, 9 Aug 2020 04:28:31 +0000 (04:28 +0000)
Demo polish

See merge request GNOME/gtk!2420


Trivial merge